1. Hardware and software
المؤلف: \ Nir Piterman (eds.)
المکتبة: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer science,Computer networks,Software engineering,کامپیوتر,شبکههای کامپیوتری,نرمافزار, -- مهندسی,a04,a06,a03,a04,a06,a03
رده :
QA
76
.
I58
H32
2015
E-Book
,


2. Tools and algorithms for the construction and analysis of systems
المؤلف: Nir Piterman, Scott A. Smolka (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer software-- Verification, Congresses,System analysis, Congresses,System design, Congresses
رده :
QA76
.
9
.
S88
T33
2013

